Contextualizing ancient texts with generative neural networks
nature.com·2d·
Discuss: Hacker News
🤖AI Paleography
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·17h
🧮Algebraic Archives
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·5h·
Discuss: www.blogger.com
📐Linear Algebra
TextIndex: Simple syntax for creating indexes in Markdown and text documents
mattgemmell.scot·44m·
Discuss: Hacker News
📇Indexing Strategies
The Ηоmоgraph Illusion: Not Everything Is As It Seems
unit42.paloaltonetworks.com·13m
🎫Kerberos Exploitation
Open problems in topos theory
ncatlab.org·1d
🕸️Algebraic Topology
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·19m·
Discuss: Hacker News
🏛️Isabelle HOL
Systematic AI Development: A Demo Project Breakdown
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·3d
💻Programming languages
Geologic Periods
xkcd.com·17h
🦴Binary Paleontology
XOR Crack Kit
kobolt.website·21h
🔐Cryptographic Archaeology
Google DeepMind's Aeneas model can restore fragmented Latin text
engadget.com·2d
🤖Paleographic AI
Fascinating Discoveries are Waiting Just Below the Surface: A Journey into Geocoding with Sabrina Templeton
blogs.loc.gov·1d
📚MARC Records
AI helps reconstruct damaged Latin inscriptions from the Roman Empire
newscientist.com·2d
🤖AI Paleography
How to draw lambda diagrams (2020)
risingentropy.com·8h·
Discuss: Hacker News
λLambda Formalization
Analogs of binomial coefficients
johndcook.com·20h
λLambda Encodings
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·17h
📏Linear Logic
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·5h·
Discuss: Hacker News
🔐Homomorphic Encryption
Google Develops AI Tool That Fills Missing Words In Roman Inscriptions
tech.slashdot.org·1d
🤖Paleographic Automation
LL and LR Parsing Demystified (2013)
blog.reverberate.org·4d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing